翻訳と辞書 Words near each other ・ Proof Banknote ・ Proof by assertion ・ Proof by contradiction ・ Proof by contrapositive ・ Proof by example ・ Proof by exhaustion ・ Proof by infinite descent ・ Proof by intimidation ・ Proof calculus ・ Proof coinage ・ Proof complexity ・ Proof compression ・ Proof discography ・ Proof game ・ Proof mass ・ Proof mining ・ Proof net ・ Proof of age inquisition ・ Proof of Age Standards Scheme ・ Proof of Bertrand's postulate ・ Proof of Citizenship of the Republic of Indonesia ・ Proof of concept ・ Proof of delivery ・ Proof of Destruction ・ Proof of Existence ・ Proof of Fermat's Last Theorem ・ Proof of Fermat's Last Theorem for specific exponents ・ Proof of funds ・ Proof of Impact ・ Proof of impossibility Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Proof mining ： ウィキペディア英語版 Proof mining In proof theory, a branch of mathematical logic, proof mining (or unwinding) is a research program that analyzes formalized proofs, especially in analysis, to obtain explicit bounds or rates of convergence from proofs that, when expressed in natural language, appear to be nonconstructive.〔 〕 This research has led to improved results in analysis obtained from the analysis of classical proofs. == References == 〔 * Ulrich Kohlenbach and Paulo Oliva, "Proof Mining: A systematic way of analysing proofs in mathematics", ''Proc. Steklov Inst. Math'', 242:136–164, 2003 * Paulo Oliva, "Proof Mining in Subsystems of Analysis", BRICS PhD thesis (citeseer ) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Proof mining」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.